21. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
پدیدآورنده : edited by Austin Melton
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
239
22. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده : M. Main...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
23. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
24. Mathematical foundations of programming semantics :
پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
25. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
پدیدآورنده : edited by Austin Melton
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
239
26. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
پدیدآورنده : S. Brookes...]et al.[, eds
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
802
27. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
پدیدآورنده : S. Brookes...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
598
28. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
29. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
30. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده : Marisa Venturini Zilli )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
31. Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988: Proceedings
پدیدآورنده : A. Blaser, ed
کتابخانه: (طهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax -- Congresses ، Programming languages )Electronic computers(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
320
32. Natural language at the computer: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
N38
.
S38
1988
33. Practical aspects of declarative languages :
پدیدآورنده : Pascal Van Hentenryck (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
7
.
P32
2006
34. Practical aspects of declarative languages
پدیدآورنده : Andy Gill, Terrance Swift (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
615
.
P33
2009eb
35. Practical aspects of declarative languages
پدیدآورنده : / Michael Hanus (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers)--Semantics--Congresses
رده :
QA
,
76
.
7
,.
P32
,
2007
36. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings
پدیدآورنده : Gopal Gupta )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1551
37. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
پدیدآورنده : Enrico Pontelli, Vitor Santos Costa )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming
رده :
QA
76
.
L28
Vol
.
1753
38. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings
پدیدآورنده : Manuel Hermenegildo, Daniel Cabeza )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3350
39. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
پدیدآورنده : Michael Hanus )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
4354
40. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings
پدیدآورنده : Bharat Jayaraman )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3057
